A Visualization Tool for Constraint Handling Rules
نویسندگان
چکیده
منابع مشابه
Visualization of Constraint Handling Rules
Constraint Handling Rules (CHR) has matured into a general purpose language over the past two decades. Any general purpose language requires its own development tools. Visualization tools, in particular, facilitate many tasks for programmers as well as beginners to the language. The article presents on-going work towards the visualization of CHR programs. The process is done through source-to-s...
متن کاملCHRAnimation: An Animation Tool for Constraint Handling Rules
Visualization tools of different languages offer its users with a needed set of features allowing them to animate how programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language. This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level ...
متن کاملVisualization of Constraint Handling Rules: Semantics and Applications
The work in the paper presents an animation extension (CHRvis) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug programs. A picture is worth a thousand words. It can help identify where a problem is or show how something works. It can even illustrate a relation that was not clear otherwise. CHRvis aims at embedding animation and visuali...
متن کاملVisualization of CHR through Source-to-Source Transformation
In this paper, we propose an extension of Constraint Handling Rules (CHR) with different visualization features. One feature is to visualize the execution of rules applied on a list of constraints. The second feature is to represent some of the CHR constraints as objects and visualize the effect of CHR rules on them. To avoid changing the compiler, our implementation is based on source-to-sourc...
متن کاملVisualizing Constraints in Visualization Rules
The visualization rules of TRIP systems are a set of mapping rules that maps source data into the high-level representation of target picture. The data of this representation consists of geometric graphical objects and geometric constraints among them. When the visualization rules have some bugs, the TRIP system cannot solve the constraints properly and cannot generate a target picture. In orde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001